ممنوعیت تردد کشتی‌ های آمریکا، انگلیس و اسرائیل در دریای سرخ